<!DOCTYPE html>
<html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-0 vector-toc-not-available vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-0 skin-theme-clientpref-day vector-sticky-header-enabled" lang="de" dir="ltr"><head>
<meta charset="UTF-8">
<title>Proof-Carrying Code</title>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<link rel="icon" type="image/png" href="./_res_/favicon.png">
<link rel="canonical" href="https://de.wikipedia.org/wiki/Proof-Carrying_Code"> <link href="./_mw_/ext.wikimediamessages.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.icons.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.search.codex.styles.css" rel="stylesheet" type="text/css">
<link href="./_mw_/skins.vector.styles.css" rel="stylesheet" type="text/css">
<meta name="ResourceLoaderDynamicStyles" content="">
<link href="./_mw_/ext.gadget.citeRef.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.defaultPlainlinks.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonHide.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonLayout.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiCommonStyle.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiDarkmode.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.dewikiResponsive.css" rel="stylesheet" type="text/css">
<link href="./_mw_/ext.gadget.specialSearch.css" rel="stylesheet" type="text/css">
<link rel="stylesheet" type="text/css" href="./_mw_/site.styles.css">
<link rel="stylesheet" type="text/css" href="./_mw_/noscript.css">
<link rel="stylesheet" type="text/css" href="./_res_/footer.css">
<link rel="stylesheet" type="text/css" href="./_res_/vector-2022.css">
</head>
<body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject page-Proof-Carrying_Code rootpage-Proof-Carrying_Code skin-vector-2022 action-view">
<div class="mw-page-container">
<div class="mw-page-container-inner">
<div class="mw-content-container">
<main id="content" class="mw-body">
<header class="mw-body-header vector-page-titlebar">
<h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Proof-Carrying Code</span></h1>
</header>
<a id="top"></a>
<div id="bodyContent" class="vector-body ve-init-mw-desktopArticleTarget-targetContainer" aria-labelledby="firstHeading" data-mw-ve-target-container="">
<div id="contentSub">
<div id="mw-content-subtitle"></div>
</div>
<div id="mw-content-text" class="mw-body-content mw-content-ltr" lang="de" dir="ltr"><div class="mw-content-ltr mw-parser-output" lang="de" dir="ltr"><p><b>Proof-Carrying Code</b> (PCC) ist ein 1996 von George Necula und Peter Lee entwickelter, effizienter <a href="Algorithmus" title="Algorithmus">Algorithmus</a> für <a href="Computer" title="Computer">Computer</a>, mit dessen Hilfe die Eigenschaften von <a href="Anwendungssoftware" title="Anwendungssoftware">Anwendungssoftware</a> und insbesondere die Einhaltung von <a href="Sicherheitsrichtlinie" title="Sicherheitsrichtlinie">Sicherheitsrichtlinien</a> überprüft und verifiziert werden können.
</p><p>Der automatische Algorithmus benutzt ein <a href="Axiomensystem" title="Axiomensystem">Axiomensystem</a>, um den <a href="Programmcode" title="Programmcode">Programmcode</a> begleitende <a href="Metadaten" title="Metadaten">Metadaten</a> zu analysieren. Dabei kann geschlussfolgert und gewährleistet werden, dass bestimmte sicherheitsrelevante Kriterien eingehalten werden. Zur <a href="Laufzeit_(Informatik)" title="Laufzeit (Informatik)">Laufzeit</a> müssen dann keine entsprechenden zusätzlichen Maßnahmen ergriffen werden, wie zum Beispiel die <a href="Ausnahmebehandlung" title="Ausnahmebehandlung">Ausnahmebehandlung</a> bei kritischem Verhalten der Software. Proof-Carrying Code ist ferner besonders nützlich, um <a href="Sicherheitsl%C3%BCcke_(Software)" class="mw-redirect" title="Sicherheitslücke (Software)">Sicherheitslücken</a>, wie zum Beispiel <a href="Puffer%C3%BCberlauf" title="Pufferüberlauf">Pufferüberläufe</a> oder <a href="Mehrdeutigkeit" title="Mehrdeutigkeit">Mehrdeutigkeiten</a> (beispielsweise <a href="Typverletzung" title="Typverletzung">Typverletzung</a>, <a href="%C3%9Cberladen" title="Überladen">Überladen</a> oder <a href="Polymorphie_(Programmierung)" title="Polymorphie (Programmierung)">Polymorphie</a>), zu verhindern, die häufig durch die Benutzung von unzureichenden <a href="Programmiersprache" title="Programmiersprache">Programmiersprachen</a> bedingt sind.
</p><p>Mit dem Proof-Carrying Code kann auf einem <a href="Client" title="Client">Client</a> bei der <a href="Installation_(Computer)" class="mw-redirect" title="Installation (Computer)">Installation</a> und der Ausführung von <a href="Computerprogramm" title="Computerprogramm">Computerprogrammen</a> die Zuverlässigkeit und Vertrauenswürdigkeit einer Programmquelle in einem <a href="Rechnernetz" title="Rechnernetz">Rechnernetz</a> überprüft werden. Dabei werden Metadaten vom <a href="Host_(Informationstechnik)" class="mw-redirect" title="Host (Informationstechnik)">Host</a>, dem sogenannten <i>Programmcodeproduzenten</i> abgerufen, mit deren Hilfe die Überprüfung auf dem Client, dem sogenannten <i>Programmcodeverbraucher</i>, stattfinden kann.
</p>
<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>
<ul><li>George C. Necula und Peter Lee: <i>Safe, Untrusted Agents Using Proof-Carrying Code</i>, Mobile Agents and Security, Giovanni Vigna (Herausgeber), Lecture Notes in Computer Science, Volume 1419, Springer-Verlag, Berlin, ISBN 3-540-64792-9, 1998</li>
<li>George C. Necula: <i><a rel="nofollow" class="external text" href="https://people.eecs.berkeley.edu/~necula/Papers/thesis.pdf">Compiling with Proofs</a> (PDF; 1,6 MB)</i>. PhD thesis, School of Computer Science, Carnegie Mellon University, September 1998</li>
<li><a rel="nofollow" class="external text" href="https://software.imdea.org/~gbarthe/mobius/bin/view/Mobius/ProofCarryingCode.html">Proof-Carrying Code im Projekt MOBIUS</a></li></ul></div><!--htdig_noindex--><div><div class="zim-footer">
Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2024-11-06" href="https://de.wikipedia.org/wiki/?title=Proof-Carrying_Code&oldid=250083425">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.
</div>
</div><!--/htdig_noindex--></div>
</div>
</main>
</div>
</div>
</div>
<script src="./_webp_/webpHandler.js"></script>
</body></html>